منابع مشابه
On binary relations without non-identical endomorphisms
We state two conjectures: k 2 (1) if k is an infinite cardinal number and cardtAt<t2 then there exists a relation RtctAtKtA which satisfies x,ytetA {x}tctA(x)tctA f:A(x)-----LA ttttAt Et At f is not a homomorphism of R, x$y cardtA(x)t<tk f(x)=y a sup{2t:aeCard,a<k} (2) if k$0 is a limit cardinal number and cardtAt<t2 then there exists a relation RtctAtKtA which satisfies x,ytetA {x}tctA(x)tctA ...
متن کاملVerifying while loops with invariant relations
Traditionally, invariant assertions are used to verify the partial correctness of while loops with respect to pre/post specifications. In this paper we discuss a related but distinct concept, namely invariant relations, and show how invariant relations are a more potent tool in the analysis of while loops: whereas invariant assertions can only be used to prove partial correctness, invariant rel...
متن کاملNumericware i: Identical in state matrix calculator
Herein we introduce software, Numericware i to compute a matrix consisting of all pairwise identical in state (IIS) coefficients from genotypic data. Since the emergence of high throughput technology for genotyping, calculating an IIS matrix between many pairs of entities has required large computer memory and lengthy processing times. Numericware i addresses these limitations with two algorith...
متن کاملQuark Regge Trajectory in Two Loops from Unitarity Relations
The two-loop quark Regge trajectory is obtained at arbitrary space-time dimension D using the s-channel unitarity conditions. Although explicit calculations are performed for massless quarks, the method used allows to find the trajectory for massive quarks as well. At D → 4 the trajectory turns into one derived earlier from the high-energy limit of the two-loop amplitude for the quark-gluon sca...
متن کاملUniversal Relations for Identical Bosons from 3-Body Physics
Systems consisting of identical bosons with a large scattering length satisfy universal relations determined by 2-body physics that are similar to those for fermions with two spin states. They require the momentum distribution to have a large-momentum 1/k tail and the radio-frequency transition rate to have a high-frequency 1/ω tail, both of which are proportional to the 2-body contact. Identic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Australian Mathematical Society
سال: 1971
ISSN: 0004-9735
DOI: 10.1017/s1446788700009745